转型期再分配中存在的问题及其治理对策

转型期再分配中存在的问题既有认识上的 ,也有操作上的 ,既包括理论研究层面 ,也涵盖政策设计领域。具体问题包括对再分配原因的认识、目标的选择、问题的认定、地位的判断、功能的界定与作用的发挥、主体的确定与手段的运用等。要治理这些问题 ,就必须强化原因认识、规范目标选择、准确认定问题、科学判断地位、合理界定功能、有效发挥作用、完善主体、健全手段     

坐标变换的虚时频率与辐射温度

对文献[1]提出的零温到有限温度时空的普遍坐标变换作了推广讨论.用共形异常和Green函数的方法计算了温度时空的能量密度和基态能,证明坐标变换的虚时频率就是温度时空的Hawking辐射温度.并运用热力学第零定律等价于钟速同步的传递性的论断讨论了上述结论.     

转型期武警综合大学学科专业建设浅探

对照教育教学转型的要求,武警综合大学学科专业建设主要面临教育理念转变滞后、学科优势不够明显、新增专业基础薄弱三大困境。下一步学科专业转型中,要更新理念,科学谋划学科专业建设布局;找准定位,突出培植武警特色学科专业;全面发展,融合构建新型学科专业体系;健全机制,合理配置学科专业建设资源;加强科研,积极促进学科专业创新发展。     

利用微分几何参数研究小型阵列的布局

以微分几何为工具,分析和研究了小型阵列的阵列流形的微分几何参数与信号到达方向估计精度之间的关系,并在此基础上推导分析了小型阵列在各个方向上的测向性能与阵列几何布局之间的关系,最后给出小型阵列布局的设计思路。并以五元阵为例,对几种不同的几何布局进行仿真对比和分析,验证了设计思路的正确性。     

基于解释结构模型法的通用装备保障转型要素结构分析

通过运用解释结构模型法对我军通用装备保障转型的相关要素进行结构分析,旨在辅助研究人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化分析过程得到能正确反应保障需求的层次,从而为通用装备保障转型进一步分析打下良好理论基础．     

一类多时滞泛函微分方程周期正解的存在性

利用非线性泛函分析中半序Banach空间的锥理论和不动点指数方法,讨论了一类多时滞泛函微分方程周期正解的存在性问题,并得到此类多时滞泛函微分方程周期正解存在的几个充分条件。     

重庆市近11年空气污染指数变化的小波变换分析

运用一维连续Morlet小波变换法分析重庆市近11年逐日空气污染指数的多尺度演变特征、主周期、突变点和变化因素。结果表明:重庆市空气污染指数在不同时间尺度有不同的变化规律,变化主周期为300 d左右;空气污染状况受地形和气象因素影响,呈"冬重夏轻"格局;春分、秋分前后是一年中空气污染轻重状况转换的突变点;2005年后重庆市空气污染逐渐减轻,但冬季有加重趋势。实践证明,小波变换法是研究空气污染指数时间序列变化的有效分析方法。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

一种基于双星导航系统的无源定位方法研究及其实现方案

为扩展双星导航定位系统的应用范围,针对双星导航系统双星定位时用户的有源问题提出了一种无源导航定位方法,用户不必发射导航定位请求信号,直接接收就可完成定位.同时,结合差分技术来提高用户导航的定位精度.通过理论分析和仿真,说明该方法是可行的.